|Title of the article||
ORGANIZING NETWORK STORAGE AND DATA PROCESSING CONTROL BASED ON DIRECT INTERPRETATION OF LOGIC AND ALGEBRAIC SPECIFICATIONS
Zinkin Sergey Alexandrovich, Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University, email@example.com
The article describes the basics of a synthesis of distributed control programs based on formal logical-algebraic specifications. The author gives examples illustrating the developed Genrich-Glaesser model and introduces the logicalalgebraic specifications for a new approach to implementation of distributed network applications.
data storage, data processing, formal representations of distributed processes, logical-algebraic approach, networks of abstract machines, distributed behavioral models.
Дата обновления: 28.08.2014 09:22